線形代数公式集 (仮)｜永井勇